🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·14h
🛡️Proof-Carrying Archives
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Issue 481
haskellweekly.news·6h
🔗Functional Compilers
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·1d
🔧RISC-V Assembler
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·3h·
Discuss: DEV
🔄Lens Laws
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·2h
🔐Quantum Security
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Demystifying the SQLcl MCP Server
hartenfeller.dev·18h
📞Session Types
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·5h
🖥️Terminal Renaissance
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4h·
Discuss: Hacker News
🤝Distributed Consensus
Converting Future to CompletableFuture With Java Virtual Threads
morling.dev·9h
🌊Streaming Systems
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
6 Design Principles for Edge Computing Systems
thenewstack.io·4h
🌐Edge Preservation
[$] Scheduler medley: time-slice extension, sched_ext deadline servers, and LRU batching.
lwn.net·3h
🐚Bash Combinators
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·3h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Zig Interface Revisited
williamw520.github.io·1d·
Discuss: Hacker News
🧩WASM Components